body {
  font: 14px Helvetica Neue;
  text-rendering: optimizeLegibility;
  margin-top: 1em;
  overflow-y: scroll;
  font-weight: 300;
}

h1 {
  font-size: 36px;
  margin-bottom: .3em;
  font-weight: 300;
}

.link { 
	stroke: #ccc; 
	  font-weight: 300;

	font-size: 11px; 
	font-family: sans-serif; 
}

.nodetext { 
	pointer-events: none; 
	font-size: 11px; 
	font-family: sans-serif; 
}

.main{
	border: 1px; 
	border-color: black
}

.details{
  font-size: 16px;
}


.literal{
  font-size: 11px;
}

text.link{
  stroke: black;
  pointer-events: none; 
  font-size: 11px; 
  font-family: sans-serif; 
}

arrowhead {
  stroke: #999;
  fill: #999;
  stroke-width: 1;
}

.control_button{
  fill: #357ebd;
  stroke: #428bca;
  border-radius: 4px;
}
.horizontal-line {
   width: 600px;
   height: 2px;
   background-color: #696969;
   margin: 0 auto;
}

.error{
    color: red;
}